Marginalia — Cuaderno Interactivo Concept of Function - Its History and Teaching

In the last century, Felix Klein strongly advocated an emphasis on the function concept in teaching as a unifying idea permeating all mathematics. How basic is the function concept? We shall try to trace its development and attempt to incorporate this mathematical-historical vein into the teaching of mathematics at various levels… (Pág. 1)

La historia de las matemáticas no es un adorno cultural, sino una herramienta didáctica para dar cohesión al currículo de cálculo.

Siu se apoya en Klein para combatir la fragmentación de la matemática escolar. Cuando las funciones se enseñan de forma aislada (separando el álgebra de la geometría o del cálculo), el estudiante pierde la noción de continuidad. El uso de la historia devela las preguntas y problemas físicos reales (como la astronomía o la cinemática) que forzaron a los matemáticos a desarrollar el concepto, dotando de un significado inmediato a las notas de cálculo actuales.

It is of interest to start with three definitions as a 'warm-up'. The first one by Johann Bernoulli (1718)… is classical, vague but more or less concrete. The third one by Patrick Suppes (1960)… is modern, precise but formidable. The second one by Édouard Goursat (1923)… lies somewhere in between. (Pág. 1)

Introduce la clasificación tripartita de las definiciones que el autor desglosará matemáticamente, mostrando el incremento exponencial del rigor a costa de la pérdida de la intuición.

Siu categoriza la evolución en tres estaciones: la algebraica-operativa (concreta pero matemáticamente imprecisa ante funciones patológicas), la estructural moderna (precisa pero cognitivamente hostil para principiantes), y una intermedia que intenta salvar la noción de correspondencia. Esta clasificación es clave para que identifiques en qué nivel de abstracción estás construyendo cada sección de tus cuadernos de notas.

(1) One calls here Function of a variable a quantity composed in any manner whatever of this variable and of constants. (2) The modern definition of the word function is due to Cauchy and Riemann. One says that y is a function of x if to a value of x corresponds a value of y… \(y = f(x)\). (3) A is a relation \(\leftrightarrow (\forall z)(z \in A \rightarrow (\exists x)(\exists y)(z = \langle x, y \rangle))\). f is a function \(\leftrightarrow f\) is a relation \(\& (\forall x)(\forall y)(\forall z)(xfy ~\&~ xfz \rightarrow y = z)\). (Pág. 1)

Proporciona la evidencia textual y la formalización simbólica exacta de las tres eras del concepto de función, permitiendo contrastar el lenguaje natural con la lógica de predicados.

• Nivel 1 (Bernoulli, 1718): Define la función como una "cantidad compuesta". Aquí la función está indisolublemente unida a la manipulación simbólica elemental (operaciones, potencias, raíces).
• Nivel 2 (Cauchy-Riemann / Goursat): El núcleo cambia de la "fórmula" a la ley de asignación (\(y = f(x)\)). Introduce el concepto de unicidad y valor numérico, permitiendo modelar dependencias más abstractas sin depender de una sola expresión algebraica.
• Nivel 3 (Suppes, 1960 - Conjuntista Puro): La definición se purifica mediante la teoría de conjuntos y la lógica de primer orden. Primero se define una relación \(A\) como un conjunto cuyos elementos \(z\) son estrictamente pares ordenados \(\langle x, y \rangle\):

\[A \text{ es relación} \iff \forall z (z \in A \implies \exists x \exists y (z = \langle x, y \rangle))\]

Luego, la función \(f\) se restringe como una relación que cumple la condición estricta de unicidad para la segunda componente:

\[f \text{ es función} \iff f \text{ es relación} \land \forall x \forall y \forall z (\langle x, y \rangle \in f \land \langle x, z \rangle \in f \implies y = z)\]

Siu califica este formalismo de "formidable" (abrumador). Si bien es perfecto para la fundamentación de la matemática pura, para un estudiante que inicia cálculo destruye por completo el sentido de flujo, movimiento y tasa de cambio que caracteriza a las derivadas.

Siu introduce preguntas socráticas estructuradas para romper las preconcepciones del lector sobre el concepto de función, cuestionando si se define mejor como una fórmula, una gráfica, una tabla o una ley de correspondencia. El autor recupera la severa crítica del matemático ruso Nikolai Luzin, quien afirmaba que ninguna definición formal aislada es capaz de contener la riqueza total del concepto de función.

El debate historiográfico sobre el origen del concepto. Siu contrasta la postura de E.T. Bell —quien atribuye a los antiguos babilonios un "instinto de funcionalidad" mediante sus tablas de correspondencia numérica— con la visión de O. Pedersen, quien identifica la presencia indiscutible de relaciones funcionales no analíticas en los modelos astronómicos del Almagesto de Ptolomeo.

How well or how inadequate do the descriptions above apply to a function? What else does a function signify? Nikolai Nikolaevich Luzin said that no single formal definition can include the full content of the function concept. Comment on this. (Pág. 2)

Esto introduce un postulado epistemológico crucial: la irreducibilidad del concepto de función a una sola fórmula lógica o matemática.

Luzin (líder de la escuela matemática de Moscú) advierte sobre el peligro de confundir el objeto matemático con su definición formal. Una función opera en múltiples dimensiones cognitivas: es un proceso dinámico de cambio, es una representación geométrica covariante y es una estructura de mapeo lógico. Cuando un currículo se aferra de forma purista a una sola de estas descripciones (por ejemplo, la definición conjuntista de Suppes de la página anterior), mutila las demás dimensiones, incapacitando al estudiante para aplicar las funciones en contextos prácticos de optimización o modelado físico.

When Did the Function Concept Originate? Authors differ on the origin of the function concept… E.T. Bell: It may not be too generous to credit them [ancient Babylonians] with an instinct for functionality; for a function has been succinctly defined as a table or a correspondence [1, p.32]. (Pág. 2)

Documenta la raíz histórica más primitiva del concepto, vinculada a la representación tabular y a la regularidad numérica empírica.

E.T. Bell argumenta que los babilonios (c. 2000 a.C.) poseían una noción implícita de función al registrar fenómenos mediante tablas astronómicas, de cuadrados o de raíces recíprocas. Si definimos una función primitivamente como un conjunto de datos tabulados donde a cada entrada le corresponde un único valor, los babilonios ya operaban con correspondencias estricta y algorítmicamente ordenadas. No poseían la abstracción de una "fórmula general" ni la noción de variables continuas, pero su matemática era inherentemente funcional y utilitaria.

O. Pedersen: But if we conceive a function, not as formula, but as a more general relation associating the elements of one set of numbers (viz. points of time t1, t2, t3, …) with the elements of another set… it is obvious that functions in this sense abound throughout the Almagest. (Pág. 2)

Amplía el análisis histórico hacia la Grecia clásica, demostrando que la necesidad de modelar el tiempo y las posiciones celestes forzó la aparición de relaciones funcionales complejas.

Pedersen redefine la función para este periodo como una relación generalizada de asignación de datos entre conjuntos numéricos independientes (como intervalos de tiempo discretos \(t_1, t_2, \dots\)) y variables dependientes (como las coordenadas de un cuerpo celeste en la esfera cósmica). El Almagesto de Ptolomeo está saturado de estas relaciones. Aunque los griegos carecían de la notación algebraica moderna y resolvían sus problemas mediante construcciones geométricas y razones trigonométricas rígidas, el núcleo del pensamiento ptolemaico consistía en predecir una posición en función del tiempo. Esto demuestra que la necesidad de covariación numérica precedió por milenios a la invención del álgebra simbólica.

Los antiguos griegos manejaban el concepto de función. Siu recopila un robusto consenso historiográfico que demuestra que la matemática griega clásica carecía por completo de las nociones de "magnitud variable" y "funcionalidad general". El análisis se desplaza entonces hacia el siglo XIV, identificando las escuelas de filosofía natural de Oxford y París como los verdaderos núcleos donde emergió la noción de función, impulsada no por el álgebra, sino por la necesidad de modelar el movimiento y la velocidad (la cinemática medieval).

Cómo transicionar desde el uso empírico de tablas en la escuela primaria hacia la comprensión de las identidades trigonométricas funcionales complejas (v.g., \(\sin(x+y) = \sin x \cos y + \cos x \sin y\)) en la educación secundaria.

A.F. Monna: The notion of a function has no place in Greek mathematics [35, p.58]. A.P. Youschkevitch: … the mathematical thought of antiquity created no general notion of either a variable quantity or of a function. (Pág. 3)

Rompe de manera tajante la falsa asunción de que la geometría griega clásica poseía un trasfondo funcional subyacente.

Youschkevitch y Monna aclaran que la mente matemática griega era esencialmente estática y geométrica. Los griegos estudiaban proporciones fijas entre magnitudes constantes (segmentos, áreas, volúmenes) y formas rígidas. No concebían la recta numérica como un continuo de variables, ni el movimiento como un objeto de estudio geométrico-abstracto. Al carecer de la idea de una cantidad que varía continuamente en el tiempo, les fue epistemológicamente imposible formular una teoría de funciones.

…The notion of function first occurred in a more general form three centuries later [in the 14th century], in the schools of natural philosophy at Oxford and Paris… As a consequence of all this, a new method of introducing functions was brought into being… (Pág. 3)

Identifica el verdadero hito histórico y geográfico donde el concepto de función germinó como una herramienta para la física.

En el siglo XIV, los calculadores de Merton College (Oxford) y Nicolás Oresme (París) revolucionaron la ciencia al intentar cuantificar cualidades físicas como el calor, la velocidad y la aceleración. Oresme desarrolló la "latitud de las formas", un antecedente directo de la geometría analítica, donde graficaba la "intensidad" de una cualidad en función de su "extensión". Aquí, la función nació unida de forma indisoluble al movimiento y al cambio físico (cinemática), demostrando que la necesidad de medir la variación de la naturaleza precedió a la formalización algebraica del concepto.

M. Kline: From the study of motion [by Galileo] mathematics derived a fundamental concept that was central to practically all of the work for the next two hundred years—the concept of a function or a relation between variables [25, p.338]. (Pág. 3)

Conecta la transición medieval con la revolución científica del siglo XVII, donde la función se convierte en el motor del cálculo diferencial e integral.

Morris Kline señala a Galileo Galilei como el catalizador que obligó a la matemática a adoptar las funciones de manera definitiva. Al estudiar la caída libre de los cuerpos y establecer que la distancia recorrida depende del cuadrado del tiempo (\(s \propto t^2\)), Galileo demostró que las leyes del universo se expresan mediante relaciones de covariación entre variables cuantitativas. Este enfoque dinámico y físico barrió la rigidez geométrica griega y pavimentó el camino para que Newton y Leibniz crearan el cálculo basándose explícitamente en el cambio continuo.

Siu explica que la descripción cuantitativa del cambio físico (la cinematica de Oresme) necesitó un aparato computacional robusto para operar. Esto se logró gracias al desarrollo simultáneo del álgebra simbólica (la extensión del concepto de número) y la geometría analítica.

La invención de la geometría de coordenadas por parte de Pierre de Fermat y René Descartes permitió ligar las ecuaciones algebraicas abstractas con curvas geométricas continuas, lo que representó el eslabón metodológico definitivo. Con este avance, el terreno quedó completamente fértil ("ripe") para que Isaac Newton y Gottfried Wilhelm Leibniz unificaran estos procesos bajo el algoritmo del cálculo infinitesimal.

By that time, arithmetic (extension of the concept of numbers) and algebra (symbolic algebra) had also developed to a stage which made possible the wedding of algebra and geometry by René Descartes and Pierre de Fermat, with the invention of calculus by Isaac Newton and Gottfried Wilhelm Leibniz to follow. (Pág. 4)

Esto explica la convergencia de disciplinas matemáticas que históricamente corrían por vías separadas, demostrando que el concepto de función requería herramientas operativas maduras antes de ser formalizado.

Siu muestra que la intuición física del movimiento por sí sola no bastaba. Hacía falta un lenguaje simbólico capaz de procesar variables. La formalización del álgebra (gracias a matemáticos como Viète) y la ampliación del sistema numérico permitieron que la correspondencia abstracta se transformara en un objeto de cálculo ejecutable a través de reglas algebraicas.

P. Fermat ("Ad Locos Planos et Solidos Isagoge", 1629; published in 1679): As soon as two unknown quantities appear in a final equation, there is a locus, and the end point of one of the two quantities describes a straight or a curved line [41, p.52]. (Pág. 4)

Documenta la primera noción de que una ecuación con dos incógnitas define intrínsecamente una trayectoria geométrica (un lugar geométrico o "locus"), pilar de la función analítica.

Fermat introduce un enfoque dinámico-geométrico: al tener una ecuación con dos cantidades desconocidas (variables \(x\) e \(y\)), si fijamos una de ellas y permitimos que varíe, el extremo del segmento resultante trazará una línea recta o curva en el espacio. Matemáticamente, esto significa que una relación algebraica como \(y - x^2 = 0\) no es un valor estático, sino una ley geométrica que gobierna infinitos puntos coordinados, sentando las bases del gráfico de una función.

R. Descartes ("La Géométrie", 1637): If then we should take successively an infinite number of different values for the line y, we should obtain an infinite number of values for the line x, and therefore an infinity of different points, such as C, by means of which the required curve could be drawn [11, p. 54]. (Pág. 4)

Muestra la conceptualización cartesiana de la correspondencia punto a punto a través de variables numéricas discretas que se vuelven continuas para trazar curvas complejas.

Descartes plantea el proceso a la inversa que Fermat, pero bajo el mismo principio funcional. Al tomar de manera sucesiva infinitos valores para la magnitud \(y\), se genera consecuentemente una infinidad de valores correspondientes para la magnitud \(x\). Esta red de correspondencias numéricas produce un conjunto infinito de puntos cartesianos \(C(x, y)\) cuya traza continua da vida a la curva bajo estudio. Siu enfatiza que para Descartes, la curva geométrica y la ecuación algebraica son dos caras de la misma moneda. Esta noción de que a cada valor de una variable le corresponde un valor único de otra se convirtió en el núcleo operativo indispensable para el nacimiento del cálculo infinitesimal.

El cambio hacia el estudio de la variación continua de magnitudes —iniciado por Descartes— fue el hito fundamental de la matemática moderna, integrando el movimiento (análisis dinámico) y preparando el terreno para el cálculo.

Además, se narra la génesis del término "función":

• 1667 (James Gregory): Define la función mediante operaciones algebraicas.
• 1673 (Leibniz): Introduce el término "función" ligado al rol de líneas geométricas en una curva.

Hermann Hankel commented: "… modern mathematics dates from the moment when Descartes went beyond the purely algebraic treatment of equations to study the variation of magnitudes…". (Pág. 5)

La matemática moderna surge cuando Descartes permite que las variables se muevan a través de un continuo, no solo en ecuaciones estáticas, integrando el cambio en el análisis.

The most explicit definition of the function concept in the 17th century was given by Gregory (Vera Circuli et Hyperbolae Quadratura, 1667): "We call a quantity composed of other quantities if that quantity results from those other quantities by addition, subtraction, multiplication, division, extracting of roots…". (Pág. 5)

Gregory propone una definición basada en la composición operativa (álgebra elemental más operaciones "imaginables"), antecedente de las funciones trascendentes.

The word 'function' first appeared in a manuscript of Leibniz (Methodus tangentium inversa, seu de functionibus, 1673): 'other kinds of lines which, in a given figure, perform some function.' (Pág. 5)

Leibniz usa el término en 1673 para describir el rol geométrico de ciertas líneas, evolucionando luego de este uso físico a uno analítico junto a Bernoulli.

The word was also used in the same sense by Jacob Bernoulli in a letter dated September 2, 1694 of Johann Bernoulli to Leibniz, in which Bernoulli expanded the integral ∫ n dx in an infinite series nx - 1/2 x² dn/dx + 1/3 x³ d²ⁿ/dx² - …, he said that "by n I understand a quantity somehow formed from indeterminate and constant [quantities]". (Pág. 5)

Ilustra matemáticamente cómo la concepción de una función (el integrando \(n\)) estaba ligada de forma obligatoria a su capacidad de ser desarrollada como una serie infinita de potencias para poder ser calculada.

Bernoulli le presenta a Leibniz el desarrollo de la integral de una cantidad variable \(n\) respecto a \(x\):

\[\int n \, dx = nx - \frac{1}{2}x^2 \frac{dn}{dx} + \frac{1}{3}x^3 \frac{d^2n}{dx^2} - \frac{1}{4}x^4 \frac{d^3n}{dx^3} + \dots\]

1. El Operando (\(n\)): Para Bernoulli, \(n\) representa lo que hoy llamamos \(f(x)\). Al definirlo como una "cantidad formada por variables e indeterminadas", asume que \(n\) es una expresión algebraica continua y infinitamente diferenciable.
2. El Mecanismo (Integración por Partes Sucesiva): Esta fórmula se obtiene aplicando reiteradamente la integración por partes \(\int u \, dv = uv - \int v \, du\). Si se toma \(u = n\) y \(dv = dx\), la primera iteración produce \(nx - \int x \, dn\). Al expandir el término remanente mediante derivadas sucesivas de \(n\) (\(\frac{dn}{dx}, \frac{d^2n}{dx^2}, \dots\)) combinadas con las integrales de las potencias de \(x\), se genera la serie infinita.
3. Implicación Epistemológica: Esto demuestra que en el siglo XVII una función no era un mapeo lógico abstracto entre conjuntos. Una función era un objeto algorítmico activo. Si la cantidad \(n\) no pudiera ser derivada sucesivamente o si no pudiera expresarse como una serie convergente, el cálculo de la época simplemente no la reconocía como un objeto matemático válido.

La página 6 aborda la ambigüedad en el concepto de "continuidad" del siglo XVIII y el apogeo de la "algebraización" del análisis. Se detalla cómo Euler definió funciones "continuas" basadas en una única expresión analítica, diferente de la concepción moderna (Cauchy). Finalmente, se exponen los intentos de Lagrange (1797) por reducir el análisis a series de potencias y la postura de Lacroix sobre la dependencia de funciones, manteniendo ambos la visión euleriana.

In Book II of "Introductio"… Euler extended his notion of function to include the so-called "discontinuous" functions. Care must be taken not to confuse Euler's use of the term "continuous" with that we know to-day (due to Bernard Bolzano and Augustin-Louis Cauchy). (pag. 6)

Para Euler, la continuidad es una única expresión analítica ($E$-continuous), mientras que las funciones "discontinuas" ($E$-discontinuous) son las unidas por tramos, aunque sean gráficamente continuas.

J.L. Lagrange ("Théorie des fonctions analytiques", 1797): One calls function of one or several quantities any expression for calculation in which these quantities enter in any manner whatever… (pag. 6)

Define la función como una "expresión de cálculo", consolidando el paradigma operativo y el uso de series de potencias (Taylor) como base del análisis, marcando la cima de la algebraización.

S.F. Lacroix ("Traité du calcul différentiel et du calcul intégral", 1797): Every quantity whose value depends on one or more other quantities is called a function of these latter, whether one knows or is ignorant of what operations it is necessary to use…

Lacroix introduce la idea de dependencia funcional incluso si se desconocen los algoritmos para llegar a ella, aunque en la práctica seguía ligado al enfoque analítico euleriano.

La introducción del término "función" en China en 1859 por Li Shan-lan y Alexander Wylie. El término fue traducido como "hán shù" (函数), reflejando la noción euleriana clásica de una cantidad analítica que "contiene" variables.

Siu introduce formalmente la crisis de la cuerda vibrante del siglo XVIII como el motor principal que forzó el desarrollo del análisis matemático. El autor detalla las tres posturas en conflicto: el enfoque formalista puro de d'Alembert (quien exigía diferenciabilidad matemática estricta), la visión física de Euler (quien admitía curvas continuas dibujadas a mano libre) y la perspectiva del físico matemático Daniel Bernoulli.

The word 'function' was translated as 函数 (literally meaning 'quantity that contains') with the explanation that "if the variable quantity contains another variable quantity, then the former is a function (…) of the latter"… Subsequent illustration indicates that the term is to be understood in the Eulerian sense of an analytical expression. (Pág. 7)

Muestra cómo la definición de Euler de 1748 estaba tan arraigada globalmente que dictó la traducción conceptual del término en Asia oriental un siglo después.

La traducción de Li Shan-lan es de una gran precisión metafórica: el ideograma 函 (hán) significa caja, estuche o contener, y 数 (shù) significa número o cantidad. Por lo tanto, una función es vista literalmente como una "cantidad que contiene a otra variable". Esta interpretación refuerza la visión operativa de la función como una estructura analítica (un molde o fórmula) dentro de la cual se introduce un valor de entrada para extraer un valor de salida.

The standpoint of a mathematician was represented by the work of Jean le Rond d'Alembert in 1747… d'Alembert deduced from the equation describing the motion of the string:

\[\frac{\partial^2 y}{\partial t^2} = c^2 \frac{\partial^2 y}{\partial x^2}, \quad y(0,t) = 0, \quad y(L,t) = 0\]

the solution \[y(x,t) = f(ct + x) + f(ct - x)\]. The only restrictions he imposed on the function f were that it be periodic, odd and everywhere (twice) differentiable. (Pág. 7)

Introduce las ecuaciones del movimiento de la cuerda y las restricciones analíticas estrictas impuestas por el formalismo algebraico de d'Alembert.

D'Alembert logró modelar el comportamiento dinámico de una cuerda elástica de longitud \[L\] fija en sus extremos mediante la ecuación diferencial de segundo orden:

\[\frac{\partial^2 y}{\partial t^2} = c^2 \frac{\partial^2 y}{\partial x^2}\]

1. El término \[\frac{\partial^2 y}{\partial t^2}\] representa la aceleración vertical de un punto de la cuerda en un instante de tiempo dado.
2. El término \[\frac{\partial^2 y}{\partial x^2}\] representa la curvatura o concavidad geométrica de la cuerda en una posición espacial específica.
3. La constante \[c^2\] es un factor físico que depende de la tensión de la cuerda y su densidad lineal de masa.

Para resolverla, d'Alembert aplicó las condiciones de frontera que dictan que los extremos están atados inmóviles al eje:

\[y(0,t) = 0 \quad \text{y} \quad y(L,t) = 0\]

Determinó que la solución general se compone de la superposición de dos funciones viajeras en direcciones opuestas:

\[y(x,t) = f(ct + x) + f(ct - x)\]

El conflicto conceptual surge debido al rigor matemático de d'Alembert. Al exigir que la función satisfaga la ecuación diferencial original, la función \[f\] debía admitir de manera obligatoria una segunda derivada definida en cada punto de su dominio (\[f \in C^2\]). Si la cuerda presentaba una esquina discontinua en su pendiente (como una función valor absoluto), la derivada segunda \[\frac{\partial^2 y}{\partial x^2}\] dejaba de existir en ese vértice, lo que para d'Alembert invalidaba por completo la solución matemática, a pesar de que físicamente la cuerda pudiera adoptar esa forma.

The standpoint of a mathematical physicist was represented by the work of Euler in 1748… He claimed that f can be deduced solely from initial conditions. If Y(x), V(x) are the initial position and velocity of the string, the function f is given by … (Pág. 7)

Contrasta la rigidez de d'Alembert con la perspectiva empírica de Euler, quien defendía que la física del mundo real debía prevalecer sobre las limitaciones del lenguaje algebraico formal.

Euler redefinió el problema en 1748 postulando que la solución general no debía depender de una expresión analítica preestablecida, sino únicamente de las funciones que describen las condiciones iniciales del sistema físico: la posición inicial de la cuerda \[Y(x)\] y su velocidad inicial \[V(x)\]. Si una persona tira de la cuerda formando un pico triangular antes de soltarla, esa curva real del mundo físico es una condición de frontera legítima. Euler argumentaba que la matemática tenía que expandirse para admitir soluciones compuestas por curvas continuas "por tramos", rompiendo de esta manera el requisito de diferenciabilidad analítica global de d'Alembert y detonando la evolución definitiva hacia el análisis moderno.

El enfrentamiento analítico definitivo entre las soluciones generalizadas de Euler y la propuesta basada en la física de Daniel Bernoulli (1753). Siu presenta primero las fórmulas explícitas con las que Euler resolvió la ecuación de onda a partir de curvas arbitrarias definidas por tramos, integrando las condiciones iniciales de posición y velocidad.

La ruptura epistemológica provocada por Bernoulli, quien afirmó que cualquier movimiento físico de la cuerda podía expresarse mediante una combinación lineal infinita de funciones sinusoidales (armónicos). Esto desató un debate fundamental sobre la naturaleza de las series matemáticas y la validez de representar funciones algebraicas continuas mediante sumas infinitas de funciones trigonométricas periódicas, un problema que la matemática del siglo XVIII no tenía las herramientas lógicas para resolver.

Further, Euler proclaimed that Y(x), V(x) need not be functions in the ordinary sense… If Y(x), V(x) are the initial position and velocity of the string, then

\[y(x,t) = \frac{1}{2}[Y(x + ct) + Y(x - ct)] + \frac{1}{2c} \int_{x - ct}^{x + ct} V(s) \, ds\] (Pág. 8)

Documenta la famosa fórmula de solución de Euler para la ecuación de onda, la cual permite resolver el sistema a partir de funciones no analíticas o definidas geométricamente a mano alzada.

Euler demuestra que el desplazamiento vertical \[y(x,t)\] de la cuerda puede calcularse directamente evaluando las condiciones iniciales de frontera de posición \[Y(x)\] y velocidad \[V(x)\]:

\[y(x,t) = \frac{1}{2}[Y(x + ct) + Y(x - ct)] + \frac{1}{2c} \int_{x - ct}^{x + ct} V(s) \, ds\]

1. El término \[\frac{1}{2}[Y(x + ct) + Y(x - ct)]\] toma la geometría inicial de la cuerda en \[t=0\] y la divide en dos ondas idénticas que viajan en direcciones opuestas a velocidad \[c\].
2. El término con la integral diferencial \[\frac{1}{2c} \int_{x - ct}^{x + ct} V(s) \, ds\] promedia el impacto de la velocidad inicial impartida a cada punto de la cuerda en un intervalo espacial acotado por las características de la onda.

Euler insistía en que \[Y(x)\] y \[V(x)\] no requerían una fórmula algebraica única, rompiendo la noción de función de d'Alembert y ampliando el análisis matemático hacia las funciones continuas por tramos.

…However, throughout the book, only E-continuous functions were considered! Lagrange discretized the problem as that of a loaded string and found

\[y(x,t) = \frac{2}{\pi} \int_{0}^{\pi} d\lambda \, Y(\lambda) \left[ \sin(\lambda)\sin(x)\cos(ct) + \sin(2\lambda)\sin(2x)\cos(2ct) + \dots \right]\] \[+ \frac{2}{\pi c} \int_{0}^{\pi} d\lambda \, V(\lambda) \left[ \sin(\lambda)\sin(x)\sin(ct) + \frac{1}{2}\sin(2\lambda)\sin(2x)\sin(2ct) + \dots \right]\] (Pág. 8)

Presenta de forma íntegra la imponente solución analítica que unifica las condiciones iniciales de posición y velocidad dentro de una expansión trigonométrica infinita obtenida mediante el límite de una cuerda cargada de masas discretas.

Este bloque matemático representa un hito fundamental del siglo XVIII (atribuido al trabajo de discretización de Lagrange y Euler). Muestra la solución analítica completa del desplazamiento vertical \[y(x,t)\] mediante la suma de dos operadores integrales infinitos independientes:

1. El Operador de Posición Inicial (Primera Integral):

\[\frac{2}{\pi} \int_{0}^{\pi} d\lambda \, Y(\lambda) \left[ \sum_{n=1}^{\infty} \sin(n\lambda)\sin(nx)\cos(nct) \right]\]

Este término proyecta la configuración geométrica inicial de la cuerda \[Y(\lambda)\] a lo largo de toda su extensión (mapeada en el dominio variable de integración \[d\lambda\] de \[0\] a \[\pi\]). Cada armónico espacial \[\sin(nx)\] se modula en el tiempo por el factor de frecuencia \[\cos(nct)\] y su amplitud queda determinada por el producto interno ortogonal \[\sin(n\lambda)Y(\lambda)\].

1. El Operador de Velocidad Inicial (Segunda Integral):

\[\frac{2}{\pi c} \int_{0}^{\pi} d\lambda \, V(\lambda) \left[ \sum_{n=1}^{\infty} \frac{1}{n} \sin(n\lambda)\sin(nx)\sin(nct) \right]\]

Este segundo componente procesa la energía cinética inicial o el impulso vertical \[V(\lambda)\] inyectado a la cuerda en \[t=0\]. A diferencia del operador de posición, aquí la evolución temporal está gobernada por un factor sinusoidal \[\sin(nct)\]. Adicionalmente, aparece el factor de amortiguamiento armónico \[\frac{1}{n}\] y el factor de velocidad de onda \[\frac{1}{c}\] fuera de la integral, lo que altera las amplitudes de los armónicos superiores en función de la excitación inicial.

Siu destaca un hecho profundamente irónico en la historia del cálculo: esta ecuación deducida en la era de Euler contiene, en esencia, la estructura exacta de lo que más tarde se conocería como la Serie de Fourier. A pesar de tener la fórmula matemática escrita frente a sus ojos, los matemáticos de la época no fueron capaces de dar el salto conceptual. Su rechazo dogmático a que una función discontinua en sus derivadas pudiera representarse mediante una suma infinita de senos y cosenos perfectos (debido a su restrictiva visión de la continuidad algebraica) bloqueó el desarrollo del análisis real durante décadas, prefiriendo la aproximación discreta de la cuerda cargada sobre la aceptación de la convergencia de la serie.

The standpoint of a mathematical physicist was represented by the work of Daniel Bernoulli in 1753… Bernoulli argued that the solution must be a sum of the fundamental and higher harmonics (principle of superposition)

\[y(x,t) = A_1 \sin\left(\frac{\pi x}{L}\right)\cos\left(\frac{\pi ct}{L}\right) + A_2 \sin\left(\frac{2\pi x}{L}\right)\cos\left(\frac{2\pi ct}{L}\right) + \dots\] (Pág. 8)

Presenta formalmente el nacimiento del principio físico de superposición lineal y la primera propuesta histórica de las series trigonométricas como solución general del cálculo.

Frente al formalismo de d'Alembert y la geometría de Euler, Daniel Bernoulli adoptó un enfoque puramente físico basado en la acústica. Sostuvo que cualquier movimiento libre de una cuerda vibrante está compuesto por la combinación simultánea de sus modos normales de vibración o armónicos:

\[y(x,t) = \sum_{n=1}^{\infty} A_n \sin\left(\frac{n\pi x}{L}\right)\cos\left(\frac{n\pi ct}{L}\right)\]

1. El término \[\sin\left(\frac{n\pi x}{L}\right)\] describe la forma espacial o el perfil geométrico del $n$-ésimo armónico estacionario de la cuerda de longitud \[L\].
2. El término \[\cos\left(\frac{n\pi ct}{L}\right)\] modela la oscilación temporal y la frecuencia del sonido emitido.
3. Las constantes \[A_n\] representan las amplitudes de cada armónico.

La declaración de Bernoulli desató una tormenta académica. Si Bernoulli tenía razón, significaba que una curva arbitraria o discontinua en sus derivadas (como la forma triangular defendida por Euler) podía representarse de manera matemática exacta mediante una suma infinita de funciones sinusoidales que son perfectamente suaves, continuas y diferenciables (\[\sin x\]). Euler y d'Alembert rechazaron la idea por considerarla geométricamente imposible, iniciando una parálisis conceptual en el análisis matemático que solo se resolvería un siglo después con los trabajos de Fourier y Dirichlet.

La revolución analítica desatada por Jean Baptiste Joseph Fourier a través de su obra fundamental sobre la conducción térmica. El autor argumenta que las restricciones físicas del problema de la cuerda vibrante (donde la geometría de la cuerda es visible y palpable) obstaculizaban la abstracción matemática, mientras que el flujo del calor (un fenómeno invisible y abstracto) forzó la adopción de una definición de función radicalmente más libre y general.

Fourier demostró algorítmicamente que una función completamente arbitraria o discontinua puede ser representada mediante una serie trigonométrica infinita. Siu destaca que este hallazgo pulverizó la noción euleriana de "continuidad analítica", transformando la serie de Fourier en el instrumento metodológico que obligó a los matemáticos del siglo XIX a reexaminar y redefinir por completo el concepto de función.

Jean Baptiste Joseph Fourier developed in his "Sur la propagation de la chaleur" of 1807 the theory of the series… The main idea is as follows. Solve \[\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0\] with conditions \[u(0,y) = u(\pi,y) = 0, u(x,0) = \phi(x)\]. \[u(x,y) = \sum_{n=1}^{\infty} b_n e^{-ny} \sin nx\] will be a solution when \[b_1, b_2, b_3, \dots\] are so chosen that \[\phi(x) = \sum_{n=1}^{\infty} b_n \sin nx\] for x lying between 0 and π. (Pág. 9)

Documenta formalmente la ecuación diferencial en derivadas parciales de Laplace (para el estado estacionario del calor) y el método operativo con el que Fourier dedujo sus famosas series.

Fourier modeló la distribución de temperatura \[u(x,y)\] en una placa sólida mediante la ecuación diferencial parcial elíptica:

\[\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0\]

Aplicando la técnica de separación de variables bajo las condiciones de frontera hidrotérmicas fijas en los bordes laterales \[u(0,y) = u(\pi,y) = 0\], determinó que la solución general requiere la superposición infinita:

\[u(x,y) = \sum_{n=1}^{\infty} b_n e^{-ny} \sin nx\]

El núcleo del problema radicaba en satisfacer la condición de contorno de la base de la placa en \[y=0\], lo que exigía obligatoriamente que la función de temperatura inicial \[\phi(x)\] pudiera expandirse como una serie infinita de senos:

\[\phi(x) = \sum_{n=1}^{\infty} b_n \sin nx\]

A diferencia de Bernoulli, Fourier no propuso esto como una conjetura acústica, sino como un método de cálculo algorítmico universal para perfiles de temperatura arbitrarios.

Fourier's first heuristic approach was to assume φ(x) to be an odd function expanded into its Taylor series and to compare it with the original series with sin nx expanded also into an infinite series, thus obtaining an infinite system of linear equations… and obtained \[b_n = \frac{2}{\pi} \int_{0}^{\pi} \phi(x) \sin nx \, dx\]. (Pág. 9)

Explica el proceso algebraico inicial de Fourier para determinar el valor de las amplitudes armónicas a través de la propiedad de ortogonalidad.

Para hallar los coeficientes \[b_n\], Fourier ejecutó un audaz movimiento heurístico: expandió la función térmica \[\phi(x)\] en una serie de Taylor infinita y la igualó a la expansión en serie de potencias de \[\sin nx\]. Esto generó un sistema de ecuaciones lineales con infinitas incógnitas que resolvió mediante determinantes infinitos, llegando a la fórmula matemática fundamental para el coeficiente:

\[b_n = \frac{2}{\pi} \int_{0}^{\pi} \phi(x) \sin nx \, dx\]

Siu señala que Fourier validó posteriormente este resultado utilizando el método que hoy es el estándar en el cálculo: multiplicar la serie por \[\sin mx\] e integrar de \[0\] a \[\pi\], aprovechando que las funciones trigonométricas son ortogonales, de modo que todas las integrales se anulan excepto cuando \[n = m\].

In general, the function f(x) represents a succession of values or ordinates each of which is arbitrary… We do not suppose these ordinates to be subject to a common law; they succeed each other in any manner whatever, and each of them is given as if it were a single quantity. (Pág. 9)

Presenta la definición formal de Fourier, la cual rompe explícitamente con la necesidad de que una función posea una ley algebraica u operativa global.

Fourier redefinió la función de forma puramente geométrica y estadística: una función \[f(x)\] es simplemente una sucesión de valores numéricos ("ordenadas") asignados de manera totalmente arbitraria a los puntos del dominio ("abscisas"). No existe la obligación de que los puntos sigan una única "ley común" o fórmula matemática en toda su extensión. Pueden cambiar de comportamiento caóticamente de un punto a otro. Esta audaz conceptualización permitió que curvas con discontinuidades de salto o picos no derivables entraran de lleno en el universo del análisis matemático, forzando la demolición de las viejas ideas eulerianas.

Subsequent investigation into the Fourier series representation of a function led to the breakdown of the 'Eulerian' notion of function… Still, Fourier's work was instrumental in the following aspects: representation of an 'arbitrary' function by an analytical expression… did away with the tenet on 'analytical continuity' held by 18th century mathematicians. (Pág. 9)

Sintetiza el legado de Fourier enumerando los cuatro pilares metodológicos que transformaron de forma irreversible el cálculo infinitesimal moderno.

El trabajo de Fourier generó una profunda paradoja matemática que sacudió el siglo XIX: demostró que una función "arbitraria" o discontinua por tramos (según la visión de Euler) podía representarse de manera exacta mediante una suma infinita de senos y cosenos, la cual es, por definición, una "expresión analítica" continua. Esto significaba que una misma función podía ser simultáneamente discontinua bajo los viejos criterios y analítica bajo los nuevos. Al demostrar que las sumas infinitas de funciones suaves podían moldear perfiles geométricos fracturados, Fourier destruyó el concepto de "continuidad analítica" del siglo XVIII y obligó a la comunidad matemática a separar el concepto de función de la rigidez de las fórmulas, abriendo la puerta a los trabajos de Dirichlet y Cauchy.

El inicio de la rigorización matemática impulsada por Cauchy (1821), quien, aunque verbalmente definió función como una relación de dependencia, en la práctica mantuvo la limitación euleriana de expresiones analíticas. Siu analiza esta contradicción didáctica y cierra con la crítica de Abel (1826) a la falta de rigor en el análisis superior.

"…when the variable quantities are linked together… one of them which then takes the name of independent variable; and the remaining quantities… are those which one calls functions of this variable." (Pág. 10)

Aunque Cauchy busca desvincular la función de la "fórmula" y centrarse en la dependencia lógica, la práctica muestra su arraigo en la tradición euleriana, limitando su universo de trabajo.

"He classified functions into 'simple functions' and 'compound functions'. The first group consists of eleven functions, viz \[a+x, \quad a-x, \quad ax, \quad \frac{x}{a}, \quad x^A, \quad A^x, \quad \log x, \quad \sin x, \quad \cos x, \quad \arcsin x, \quad \arccos x\] where A is a non-negative number and a = ± 4…" (Pág. 10)

Cauchy formaliza el análisis basándose en este conjunto cerrado de funciones elementales y sus composiciones (\[y = f(g(h(x)))\]), limitando el alcance sobre funciones no compuestas explícitamente (ej. series de Fourier).

"…the function f(x) will be a continuous function… if, for each value of x… the numerical value of the difference \[f(x + \alpha) - f(x)\] decreases indefinitely with α." (Pág. 10)

Cauchy define la continuidad localmente, introduciendo la aritmética en el análisis (\[\lim_{\alpha \to 0} [f(x + \alpha) - f(x)] = 0\]), superando la visión geométrica previa.

"In a letter… Niels Henrik Abel complained: 'It [analysis] lacks at this point such plan and unity… There are only a few propositions in higher analysis that have been demonstrated with complete rigour…'" (Pág. 10)

Abel critica la falta de rigor en el análisis superior del siglo XVIII. Esta crisis, marcada por la manipulación imprecisa de series, impulsó la búsqueda de fundamentos lógicos más sólidos por parte de matemáticos como Dirichlet y Weierstrass.

Siu detalla cómo matemáticos del siglo XIX (Gauss, Cauchy, Riemann, etc.) establecieron un rigor lógico, separando definitivamente "función" de "fórmula" (Pág. 11). Se supera la idea de que las funciones requieren leyes algebraicas, introduciendo la definición moderna mediante la correspondencia de valores, destacando hitos entre 1837-1851.

Dirichlet argumenta que la dependencia exclusiva de series de potencias generaba conclusiones incorrectas al ignorar discontinuidades [1].

Se establece la necesidad de un nuevo rigor para la definición de función, superando el enfoque del siglo XVIII.

N.I. Lobachevsky ("On the convergence of trigonometric series", 1838): Define la función como un valor \(y\) que cambia con \(x\), aceptando que la relación pueda ser una expresión analítica, una condición, o una dependencia desconocida [1].

Permite \(y = f(x)\) basado en "cambio gradual" y lógica de selección, no solo en fórmulas.

P.G. L. Dirichlet (1837): Define la función continua sobre \(x \in [a, b]\) con unicidad (\(y = f(x)\)), aceptando funciones definidas a trozos [1].

Se formaliza \(y = f(x)\) en \([a, b]\), permitiendo leyes distintas en el intervalo.

G.P.B. Riemann (1851): Abstrae la función como una correspondencia pura, sin requerir continuidad gráfica, definiendo \(z \longmapsto w = f(z)\) [1].

Se acepta la correspondencia arbitraria entre valores, permitiendo discontinuidades extremas.

El punto de inflexión donde la definición de función se divorcia de toda intuición geométrica o física representable. Siu explica que la adopción de la definición de Dirichlet de correspondencia arbitraria abrió las puertas a "funciones patológicas" que carecían de propiedades generales de suavidad o continuidad. El autor argumenta que esta ruptura no fue un capricho abstracto, sino una consecuencia inevitable del estudio profundo de la convergencia de las series de Fourier.

Para ilustrar este choque epistemológico, el texto expone dos construcciones revolucionarias: la función totalmente discontinua de Dirichlet (1829) y la función de Riemann (1854), la cual posee infinitos puntos de discontinuidad en cualquier intervalo acotado pero sigue siendo integrable. Siu concluye, citando al historiador Thomas Hawkins, que el desarrollo de la teoría de la integración moderna (post-Cauchy) es en esencia la historia de los intentos matemáticos por expandir el concepto de integral para que fuera capaz de procesar estas funciones altamente discontinuas.

H. Hankel (Untersuchungen über die unendlich oft oszillierenden und unstetigen Funktionen, 1870): "… y depends on x according to the same law in the entire interval or not, or whether the dependence can be expressed by a mathematical operation or not. … This purely nominal definition, which in the following I will associate with the name of Dirichlet … is however no longer sufficient for the needs of analysis…" (Pág. 12)

Expone la crítica interna de la comunidad matemática del siglo XIX (a través de Hankel) hacia la definición de Dirichlet, señalando que una definición puramente nominal de "correspondencia arbitraria" vaciaba al concepto de propiedades operativas útiles si no se le imponían restricciones adicionales.

Hankel nota una crisis metodológica. Si una función es "cualquier correspondencia" donde a cada \(x\) le corresponde un \(y\), el análisis matemático se queda sin herramientas, pues la inmensa mayoría de estas funciones arbitrarias no poseen derivadas, no se pueden graficar y desafían las leyes del cálculo diferencial tradicional. Se hacía obligatorio clasificar y estudiar los límites de estas discontinuidades.

Dirichlet (Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre les limites données, 1829) … As an example of a function that does not satisfy his conditions, he gave the celebrated 'Dirichlet function': \[f(x) = c\] if x is rational and \[f(x) = d\] if x is irrational, \[c \neq d\]. (Pág. 12)

Registra formalmente el nacimiento del primer "monstruo" del análisis real, diseñado explícitamente para desafiar los límites de la integración de Cauchy.

Dirichlet introduce su famosa función indicatriz sobre los números reales en un intervalo acotado, comúnmente normalizada en los textos modernos con \(c=1\) y \(d=0\):

\[f(x) = \begin{cases} 1 & \text{si } x \in \mathbb{Q} \\ 0 & \text{si } x \notin \mathbb{Q} \end{cases}\]

1. Discontinuidad Total: Debido a la propiedad de densidad de los números reales (entre cualquier par de números reales siempre existen infinitos racionales e infinitos irracionales), esta función es discontinua en cada uno de los puntos de su dominio. Es matemáticamente imposible de dibujar o visualizar.
2. Falla de la Integral de Riemann-Cauchy: Si se intenta calcular la integral de esta función mediante sumas de Riemann ordinarias, cualquier partición del dominio contendrá tanto puntos racionales como irracionales. Las sumas superiores convergerán a \(1\) y las sumas inferiores a \(0\). Al no coincidir los límites, la función no es integrable en el sentido clásico, lo que demostró que el cálculo requería una teoría de la medida más profunda (que más tarde aportaría Lebesgue).

Riemann (Über die Darstellbarkeit einer Funktion durch eine trigonometrische Reihe, written in 1854) … he gave an integrable function which is not continuous, indeed, with infinitely many points of discontinuity in any (small) interval [19, pp. 157-158]:

\[f(x) = \phi(x) + \frac{\phi(2x)}{2^2} + \frac{\phi(3x)}{3^2} + \dots\]

where \[\phi(x)\] is the difference between z and its nearest integer (zero if x is half-way). (Pág. 12)

Transcribe con absoluta fidelidad la serie matemática exacta con la que Riemann demostró que una función puede albergar infinitos puntos de discontinuidad densos en un intervalo y, aun así, ser integrable.

Riemann sacudió los cimientos del análisis al proponer la serie infinita de funciones en términos de la variable \[x\]:

\[f(x) = \sum_{n=1}^{\infty} \frac{\phi(n-x)}{n^2}\]

1. El operador continuo por tramos \[\phi(x)\] calcula la distancia de la magnitud variable \[z\] al entero más cercano. Si \[x\] cae exactamente en un punto medio (v.g., \[0.5, 1.5, 2.5, \dots\]), el operador toma de forma determinista el valor de cero (\[\phi(x) = 0\]).
2. El denominador \[n^2\] asegura la convergencia absoluta y uniforme de la serie global en la recta real mediante el criterio M de Weierstrass, permitiendo que la suma infinita de funciones fracturadas mantenga propiedades globales estables.
3. La Paradoja Analítica: Debido al escalamiento multiplicativo del argumento \[nx\], los saltos de discontinuidad se distribuyen de forma densa en el dominio para cada número racional que posea un denominador par. Riemann demostró de manera analítica que, a pesar de que esta función posee infinitas grietas de discontinuidad en cualquier intervalo concebible por pequeño que sea, el conjunto de sus discontinuidades es integrable. Esto obligó a separar conceptualmente la integrabilidad de la continuidad.

Riemann's work marked the beginning of a theory of the mathematically discontinuous. According to Thomas Hawkins, "… the history of integration theory after Cauchy is essentially a history of attempts to extend the integral concept to as many discontinuous functions as possible…" (Pág. 12)

Proporciona la conclusión epistemológica del artículo sobre cómo las funciones patológicas dictaron la evolución de la matemática avanzada.

Hawkins sintetiza el motor del análisis real moderno. El concepto de función y el concepto de integral están acoplados en una danza dialéctica. Cada vez que un matemático (como Dirichlet o Riemann) inventaba una función más rota o discontinua para poner a prueba los límites del cálculo, la comunidad se veía obligada a inventar un concepto de integral más potente (de la integral de Cauchy a la de Riemann, y de esta a la integral de Lebesgue basada en la teoría de la medida) para poder absorberla.

La fractura definitiva entre la intuición geométrica visual y el análisis aritmético puro a finales del siglo XIX. Siu introduce el histórico contraejemplo de Karl Weierstrass (1872): una función matemática que, a pesar de poseer una curva perfectamente continua, carece de derivada en absolutamente todos los puntos de su dominio. El autor, apoyándose en las reflexiones de Nikolai Luzin, explica que este hito invirtió la metodología del análisis matemático; ya no se deducían las propiedades a partir de una fórmula dada, sino que las propiedades deseadas dictaban la construcción lógica de la función.

Asimismo, el texto describe la violenta resistencia de la comunidad matemática clásica frente a este cambio de paradigma. Henri Poincaré denunció públicamente estas invenciones calificándolas de "monstruosidades" estériles diseñadas únicamente para poner en evidencia los fallos del razonamiento humano. Finalmente, la página resume cómo este caos de funciones patológicas forzó a matemáticos como Ulisse Dini, Paul du Bois-Reymond y René Baire a crear clasificaciones estrictas basadas en límites analíticos para intentar restablecer el orden en el continuo matemático.

In 1872 Weierstrass startled the mathematical community with his famous example of a continuous nowhere-differentiable function:

\[f(x) = \sum_{n=1}^{\infty} b^n \cos(a^n \pi x)\]

where a is an odd integer, b a real number in \[(0,1)\] and \[ab > 1 + \frac{3}{2}\pi\]. (Pág. 13)

Transcribe la fórmula exacta de una de las funciones más revolucionarias de la historia del cálculo, la cual destruyó la falsa noción intuitiva de que toda curva continua es derivable salvo en algunos picos aislados.

Weierstrass definió esta función mediante una serie infinita de funciones trigonométricas donde el comportamiento local está rigurosamente acoplado por parámetros específicos:

\[f(x) = \sum_{n=1}^{\infty} b^n \cos(a^n \pi x)\]

1. La Continuidad: Dado que el parámetro \(b\) cumple la condición estricta de estar acotado en el intervalo abierto \[0 < b < 1\], los coeficientes de amplitud \(b^n\) decrecen exponencialmente a medida que \(n \to \infty\). Esto garantiza que la serie converge de forma absoluta y uniforme en toda la recta real según la prueba \(M\) de Weierstrass, forzando a que la función resultante \[f(x)\] sea estrictamente continua.
2. La No Derivabilidad: El parámetro \(a\) es un entero impar diseñado para generar oscilaciones destructivas rápidas. Al imponer la restricción matemática \[ab > 1 + \frac{3}{2}\pi\], la frecuencia angular \(a^n\) crece a un ritmo infinitamente superior al ritmo en que decrece la amplitud \(b^n\). Al intentar calcular el límite del cociente de Newton para la derivada:

\[\lim_{h \to 0} \frac{f(x+h) - f(x)}{h}\]

La función experimenta oscilaciones infinitas de amplitud creciente en cualquier entorno infinitesimal. Gráficamente, la función posee una estructura fractal auto-similar: cada vez que se hace zoom sobre la curva, aparecen nuevos e infinitos picos y valles puntiagudos, impidiendo la existencia de una línea recta tangente en cualquier punto del dominio.

Luzin described this change as: "… the main difference between methods of studying functions within the framework of mathematical analysis and theory of functions is that classical analysis deduces properties of any function starting from the properties of those analytical expressions and formulae by which this function is defined, while the theory of functions determines the properties of function starting from that property which a priori distinguishes the class of functions considered." (Pág. 13)

Explica el cambio filosófico y epistemológico en la investigación matemática provocado por el descubrimiento de las funciones patológicas.

Luzin aclara que el cálculo clásico avanzaba a ciegas: el matemático escribía una fórmula (v.g., un polinomio o una combinación de funciones elementales) y luego investigaba de forma pasiva qué propiedades tenía (su continuidad, sus raíces, sus derivadas). Con el advenimiento de la teoría de funciones moderna, el proceso se invierte de forma dialéctica: el matemático decide a priori qué propiedades lógicas requiere (ej. "quiero una función que sea continua pero no derivable") y, utilizando herramientas analíticas avanzadas, construye de forma matemática el objeto para que cumpla con dichas especificaciones.

Henri Poincaré had said: "Formerly, when a new function was invented, it was in view of some practical end. To-day they are invented on purpose to show our ancestors' reasonings at fault, and we shall never get anything more than that out of them. If logic were the teacher's only guide, he would have to begin with the most general, that is to say, with the most weird, functions." (Pág. 13)

Documenta la crisis de aceptación institucional y la fuerte crítica de una de las mentes más brillantes de la época hacia el formalismo puro desprovisto de intuición física.

Poincaré reacciona con profunda frustración ante la proliferación de estas funciones creadas mediante series abstractas. Para él, las funciones debían nacer de necesidades físicas reales (como la mecánica celeste o la termodinámica). Consideraba que las funciones "patológicas" eran simples ejercicios de perversión lógica diseñados para humillar las demostraciones históricas de los matemáticos del pasado. Siu introduce esta cita para conectar el problema con la didáctica actual: si nos guiamos únicamente por la pureza lógica, deberíamos enseñar las funciones más extrañas y abstractas desde el primer día, lo cual destruiría la intuición y el interés del estudiante que se inicia en el cálculo.

René Louis Baire (Sur les fonctions de variables réelles, 1899) called the class of continuous functions class 0; and for any countable ordinal α, the class of functions not in any of the preceding classes but are representable as limits of sequences of functions in preceding classes class α. (Pág. 13)

Presenta la solución estructural ideada por René Baire para clasificar y contener el universo de las funciones discontinuas y patológicas del análisis real.

Para evitar que el análisis matemático colapsara ante la proliferación infinita de funciones extrañas, Baire propuso una rigurosa ordenación jerárquica transfinita (las Clases de Baire) basada en operadores de límite convergente de funciones:

1. Clase 0: Está constituida exclusivamente por todas las funciones que son estrictamente continuas en el sentido clásico (\[f \in C^0\]).
2. Clase 1: Contiene a todas las funciones discontinuas que pueden ser obtenidas como el límite puntual de una sucesión de funciones de la Clase 0. Un ejemplo clásico de esta categoría es la función signo o escalón de Heaviside.
3. Clase \[\alpha\]: Se define de forma recursiva inductiva. Alberga a todas aquellas funciones complejas que no pertenecen a ninguna de las clases anteriores (\[0, 1, \dots, \alpha-1\]), pero que pueden expresarse formalmente como el límite puntual de una sucesión de funciones pertenecientes a las clases precedentes.

Siu resalta que esta clasificación de Baire fue vital porque demostró que, incluso dentro del caos aparente de los "monstruos" lógicos, el análisis matemático era capaz de trazar fronteras de rigor y estructura para domar el comportamiento del continuo.

La resolución analítica de las funciones patológicas y la transición hacia el paradigma conjuntista de finales del siglo XIX y principios del XX. En la primera mitad, Siu expone cómo la función de Dirichlet, considerada un "monstruo" no analítico en el siglo XIX, fue domada por el análisis aritmético al ser expresada explícitamente como un límite analítico doble de funciones continuas elementales (\[\chi(x)\]). El texto detalla los hallazgos fundamentales de Henri Lebesgue (1905), quien vinculó de forma definitiva la jerarquía de Clases de Baire con la "representabilidad analítica" y la teoría de la medida de Borel.

En la segunda mitad, el artículo analiza el impacto masivo de la teoría de conjuntos de Georg Cantor. Este avance forzó el abandono definitivo de las variables numéricas dinámicas para adoptar el concepto estático y estructural de la función como un mapeo ("mapping") o correspondencia unívoca entre conjuntos abstractos cualesquiera. Siu cierra la página recopilando las definiciones formales de Richard Dedekind (1887), Giuseppe Peano (1911), Constantin Carathéodory (1917) y Felix Hausdorff (1914), consolidando la era moderna del concepto.

… the Dirichlet function is of class 2, viz. \[\chi(x) = \lim_{m \to \infty} \lim_{n \to \infty} (\cos(m! \pi x))^{2n} = \begin{cases} 1 & \text{si } x \in \mathbb{Q} \\ 0 & \text{si } x \notin \mathbb{Q} \end{cases}\] (Pág. 14)

Transcribe la imponente y célebre fórmula matemática que demostró que una función totalmente discontinua puede ser expresada de forma analítica mediante el uso de límites iterados.

Este logro analítico demostró que la función de Dirichlet \[\chi(x)\] pertenece rigurosamente a la Clase 2 de Baire.

1. El Factorial y el Argumento (\[m! \pi x\]): Si el número \[x\] es un número racional de la forma \[x = \frac{p}{q}\], tan pronto como el índice del límite \[m\] supera algebraicamente al denominador (\[m \geq q\]), el término \[m! x\] se transforma de forma obligatoria en un número entero par o impar (\[k\]). Por lo tanto, el argumento se convierte en un múltiplo entero de pi (\[k\pi\]).
2. El Límite Interno y la Oscilación (\[\cos(k\pi)\]): El coseno de cualquier múltiplo entero de pi es algebraicamente igual a \[1\] o \[-1\]. Al elevar esta función trigonométrica a la potencia par \[2n\], el resultado es estrictamente \[1\] para todo valor de \[n\]. Al aplicar el límite de la potencia (\[\lim_{n \to \infty} 1^{2n}\]), el valor se fija sólidamente en \[1\].
3. El Caso Irracional: Si \[x\] es un número irracional, \[m! x\] jamás se transformará en un número entero. Por las propiedades de la recta real, el valor de \[\cos(m! \pi x)\] será estrictamente un número real fraccionario acotado en el intervalo abierto \[(-1, 1)\]. Al elevar cualquier fracción menor que la unidad a una potencia infinita (\[\lim_{n \to \infty} (\text{fracción})^{2n}\]), el término colapsa y se desvanece exponencialmente hacia \[0\]. De esta manera, el límite doble clasifica con precisión aritmética los números reales.

Henri Lebesgue (Sur les fonctions représentables analytiquement, 1905) showed further that: (i) a function is analytically representable if and only if it is of Baire class α for some countable α, (ii) for every countable α, there exists a function of Baire class α; a function is of Baire class α for some countable α if and only if it is Borel-measurable, (iii) there exists a measurable function that is not of any Baire class, i.e. not analytically representable. (Pág. 14)

Establece las fronteras definitivas de la lógica matemática en el análisis real, fijando la equivalencia exacta entre la capacidad de escribir una función mediante fórmulas y su medibilidad.

Lebesgue unificó de forma magistral tres disciplinas: las expresiones analíticas, la jerarquía de Baire y la teoría de la medida de Borel. Determinó que una función puede ser escrita mediante operaciones de límite si y solo si es medible bajo el esquema de Borel. Sin embargo, su aporte más impactante fue de naturaleza negativa (punto iii): demostró la existencia de funciones medibles que escapan a cualquier Clase de Baire, lo que significa que existen leyes de asignación matemática perfectas que jamás podrán ser representadas mediante ninguna fórmula o combinación de límites, fijando una barrera absoluta al poder del álgebra.

Hermann Weyl in his "Philosophie der Mathematik und Naturwissenschaft" of 1927 said: "Nobody can explain what a function is, but that is what really matters in mathematics: 'A function f is given whenever with every real number a there is associated a number b…'" (Pág. 14)

Aporta la perspectiva filosófica post-crisis, donde la matemática asume que la esencia de la función es la consistencia de la asignación y no la naturaleza de su definición interna.

Weyl rescata el pragmatismo en la matemática superior. Tras décadas de batallas ideológicas por los "monstruos" lógicos, concluye que intentar definir qué "es" una función de forma ontológica es infértil. Lo verdaderamente crucial para el funcionamiento de la ciencia es que se cumpla la regla de oro operativa: si a cada elemento de entrada \[a\] se le acopla un único elemento de salida \[b\], la función existe y es válida, independientemente de si dicha asignación se realiza mediante una ecuación polinómica simple o mediante un algoritmo abstracto no analítico.

• R. Dedekind (1887): By a mapping of a system S a law is understood, in accordance with which to each determinate element s of S there is associated a determinate object…
• G. Peano (1911): … the function is a special relation, by which to each value of the variable there corresponds a unique value. One can define in symbols; \[Functio = Relatio \cap ...\]
• F. Hausdorff (1914): Ordered pairs make possible the introduction of the concept of function… (Pág. 14)

Reúne el marco axiomático definitivo que rige a la matemática contemporánea, donde la función se purifica eliminando la necesidad de variables numéricas reales.

Este conjunto de definiciones marca el nacimiento del formalismo moderno:

1. Dedekind (1887): Introduce el término matemático de Mapeo (\[\phi(s)\]). El foco se desplaza hacia conjuntos abstractos generalizados (\[S\]), donde los elementos ya no son obligatoriamente números, sino que pueden ser matrices, vectores, operadores o ideas lógicas.
2. Peano (1911): Intenta axiomatizar el concepto mediante la lógica simbólica pura, definiendo la función como la intersección de una relación matemática general con la propiedad de unicidad: \[Functio = Relatio \cap \dots\]
3. Hausdorff (1914): Logra la purificación matemática absoluta al utilizar el concepto de par ordenado \[\langle x, y \rangle\]. Una función \[f\] deja de ser un "proceso de cambio" o una "ley de movimiento" y se transforma en un objeto estático: un subconjunto específico del producto cartesiano \[X \times Y\] que cumple de forma estricta que si \[\langle x, y \rangle \in f\] y \[\langle x, z \rangle \in f\], entonces \[y = z\]. Este es el enfoque estructural de Bourbaki que rige el diseño de los libros de texto modernos de matemática avanzada.

La culminacion del proceso de formalización conjuntista del siglo XX y nos permite abrir el debate pedagógico sobre sus límites. Siu presenta las definiciones hiper-estructurales de Kazimierz Kuratowski (1933) y Nicolas Bourbaki (1939), donde la función queda sepultada bajo la lógica relacional abstracta y el formalismo de pares ordenados. Posteriormente, se introduce un nivel superior de abstracción: la Teoría de Categorías (Eilenberg y MacLane, 1945), que redefine la función como un "morfismo" u objeto primitivo representado por una flecha, prescindiendo por completo de los elementos internos de los conjuntos.

La crisis didáctica generada por este exceso de pureza abstracta. Citando a Frederick Rikey, Siu plantea una premisa crítica para el diseño curricular: la historia de la matemática no solo enseña qué conceptos introducir, sino que también sirve como advertencia histórica sobre qué no se debe enseñar en los niveles introductorios. Finalmente, se reconecta el texto con las "Funciones Generalizadas", recordando cómo la intuición física euleriana sobre las cuerdas vibrantes de 1766 ya anticipaba la necesidad de un cálculo aplicable a curvas desprovistas de cualquier ley analítica de continuidad.

K. Kuratowski ("Topologie", 1933…): Let X and Y be two given sets. By a function whose arguments run over the set X (domain) and whose values belong to the set Y (range) we understand the subset f of the cartesian product \[X \times Y\] with the property that for every \[x \in X\] there exists one and only one y such that \[\langle x, y \rangle \in f\]. The set of all these functions f is denoted by \[Y^X\]. (Pág. 15)

Define matemáticamente la función como un objeto puramente conjuntista y estático, introduciendo formalmente la notación del espacio de funciones algebraicas.

Kuratowski elimina cualquier rastro de la noción intuitiva de "variable que fluye". Una función es rigurosamente un objeto geométrico-lógico inmóvil: un subconjunto específico del producto cartesiano de dos conjuntos abstractos:

\[f \subseteq X \times Y\]

La condición de unicidad exige de forma estricta:

\[\forall x \in X, \; \exists ! y \in Y \quad \text{tal que} \quad \langle x, y \rangle \in f\]

Siu resalta la introducción de la notación exponencial para el conjunto de todas las funciones posibles con dominio \[X\] y codominio \[Y\]:

\[Y^X = \{ f \mid f: X \longrightarrow Y \}\]

Esta abstracción permite tratar a las funciones ya no como operaciones, sino como puntos individuales dentro de un gran espacio matemático (espacio funcional), base de la topología general y el análisis funcional del siglo XX.

Since the 1960's there has been considerable discussion of a foundation for category theory… In category theory, in terms of composition of functions, is axiomatized into a primitive term. It is interesting to note that this is one example that a notation (representing a function by an arrow in topology by William Hurewicz in about 1940) led to a concept (category theory, by Samuel Eilenberg and Saunders MacLane in 1942)… (Pág. 15)

Documenta el último eslabón evolutivo del concepto en el siglo XX, donde la función se desprende de la noción de elementos internos para convertirse en una flecha relacional pura.

El trabajo de Eilenberg y MacLane, apalancado por la notación topológica de flechas de Hurewicz, provocó una revolución fundacional. En la Teoría de Categorías, el concepto de función se asimila bajo el término primitivo de Morfismo. Ya no importa qué le hace la función a un elemento \[x\] individual dentro de un conjunto. El objeto de estudio es la estructura macroscópica de las flechas y sus leyes de composición asociativa. La función pasa de ser una regla de asignación de elementos a ser una flecha algebraica que conecta estructuras globales, representando el máximo nivel de despersonalización y abstracción del término.

In view of the development discussed above, it is instructive to ask: How can we motivate the (modern) abstract definition of a function in teaching mathematics… Frederick Rickey cites this page of history on a formal definition of function as an "example of how a knowledge of the history of mathematics indicates what we should not teach". (Pág. 15)

Introduce el núcleo pedagógico del artículo, utilizando la evidencia histórica acumulada para cuestionar la validez de los programas educativos excesivamente formalizados.

Siu abre un debate crucial apoyándose en Rickey. La secuencia histórica demuestra que la comunidad matemática tardó más de dos milenios en transicionar desde las tablas empíricas de Babilonia hasta los pares ordenados de Kuratowski. Imponer a un estudiante de primer año de universidad la definición de la sección 1 (el subconjunto del producto cartesiano) bajo el pretexto de "rigor" es un error metodológico destructivo. La historia demuestra que la mente humana necesita asimilar primero la covariación, la dependencia y la manipulación algorítmica elemental antes de poder comprender la necesidad estructural del formalismo conjuntista estático.

Euler ("Éclaircissements sur le mouvement des cordes vibrantes", 1766): "But if the theory [of the vibrating string] leads us to a solution so general that it extends to all discontinuous as well as continuous figures, one must admit that this research opens to us a new road in analysis by enabling us to apply the calculus to curves which are not subject to any law of continuity…" (Pág. 15)

Recupera la cita histórica en francés donde Euler justifica la expansión del cálculo matemático hacia las funciones discontinuas por razones puramente físicas y empíricas.

Siu cierra este bloque conectando la pedagogía con el origen del problema. En 1766, Euler defendía ante la Academia que el cálculo analítico no debía ser un juego cerrado de fórmulas algebraicas puras. Si las leyes de la física (como el movimiento de una cuerda frotada o percutida) producían trayectorias y figuras geométricas fragmentadas y desprovistas de una "ley analítica de continuidad", la matemática tenía la obligación de expandir sus fronteras operativas para poder procesarlas. Este enfoque pragmático y guiado por la necesidad de modelar la naturaleza es precisamente la motivación que el autor propone rescatar para la enseñanza contemporánea del cálculo diferencial.

El puente definitivo entre las intuiciones físicas y la formalización matemática del siglo XX. El autor expone cómo el sueño de Euler de un cálculo con curvas de variación arbitraria se materializó dos siglos después a través de la Teoría de Distribuciones de Laurent Schwartz (1945-1950), la cual demostró que en el espacio generalizado adecuado, toda función es infinitamente diferenciable.

Siu analiza la evolución heurística del concepto repasando los trabajos prácticos de Oliver Heaviside (1892) con su función escalón y la introducción formal de la "función impulso" o Delta de Dirac (\[\delta(z)\]) en la mecánica cuántica de 1930. La página concluye con una notable síntesis epistemológica basada en Anthony Gardiner e Israel Kleiner, describiendo la historia del concepto de función como una "guerra creativa" tridimensional entre tres imágenes mentales en constante tensión: la geométrica, la algebraica y la lógica.

According to Jesper Lützen, this project was completed a little less than two centuries later: "All the ad hoc definitions of generalized solutions from the first half of this century were incorporated in the theory of distributions created by L. Schwartz… The theory of distributions probably constitutes the closest approximation to Euler's vision of a general calculus… for in that theory any generalized function is infinitely often differentiable." [30, p. 305]. (Pág. 16)

Explica la resolución definitiva de la crisis de la cuerda vibrante mediante la creación de la teoría de distribuciones en el siglo XX, cumpliendo de forma rigurosa la visión física de Euler.

Lützen resalta que las soluciones por tramos o con picos de Euler colapsaban en el cálculo clásico debido a la falta de derivadas en los vértices. Laurent Schwartz resolvió esta limitación transformando las funciones de puntos asignados aislados en operadores funcionales o "distribuciones" que actúan de manera global sobre un espacio de funciones de prueba (\[\mathcal{D}\]). En este nuevo espacio generalizado de Sobolev, las esquinas se suavizan operativamente de tal forma que absolutamente cualquier función generalizada se vuelve infinitamente derivable, unificando finalmente el rigor algebraico con las discontinuidades de la física real.

Near the end of the last century Oliver Heaviside (On operations in physical mathematics, 1892/93) had the creative imagination to differentiate the function

\[f(z) = \begin{cases} 1 & \text{if } z \geq 0 \\ 1/2 & \text{if } z = 0 \\ 0 & \text{if } z < 0 \end{cases}\]

to yield the impulse 'function'. (Pág. 16)

Documenta matemáticamente la función escalón unitario de Heaviside y el atrevimiento operativo de calcular su derivada en el punto de discontinuidad de salto.

Heaviside, operando en ingeniería eléctrica, requería modelar el encendido instantáneo de un circuito. Para ello utilizó la función escalón acotada con simetría en el origen:

\[f(z) = \begin{cases} 1 & \text{si } z \geq 0 \\ \frac{1}{2} & \text{si } z = 0 \\ 0 & \text{si } z < 0 \end{cases}\]

En el cálculo tradicional, intentar diferenciar esta función en el punto de discontinuidad \[z=0\] produce una derivada inexistente o infinita. Sin embargo, Heaviside ignoró las restricciones formales de la época y la derivó de forma heurística para modelar una inyección masiva de corriente en un instante cero, anticipando el concepto de la función impulso.

The latter was made famous when Paul Adrien Maurice Dirac ("The Principles of Quantum Mechanics", 1930) introduced it as a convenient notation in the mathematical formulation of quantum mechanics…

\[\delta(z) = \begin{cases} 0 & \text{if } z \neq 0 \\ \infty & \text{if } z = 0 \end{cases}\]

It took another 15 to 20 years for mathematicians to discover the mathematical foundations of a correct formulation… (Pág. 16)

Transcribe la estructura matemática original de la Delta de Dirac tal como apareció en la física cuántica, evidenciando la brecha temporal entre la utilidad práctica y su formalización rigurosa.

Dirac formalizó la función de impulso unitario en el origen mediante las siguientes propiedades operacionales:

\[\delta(z) = \begin{cases} 0 & \text{si } z \neq 0 \\ \infty & \text{si } z = 0 \end{cases}\]

acompañada de la condición de normalización integral:

\[\int_{-\infty}^{\infty} \delta(z) \, dz = 1\]

Análisis analítico: Bajo la definición clásica de Dirichlet de la página anterior, esta estructura no es una función verdadera, ya que el valor de infinito (\[\infty\]) no representa un número real acotado. Además, en la integral clásica de Riemann, un objeto que es cero en todas partes excepto en un solo punto debe integrar de forma obligatoria a cero. Dirac la utilizó como un operador de selección cuántica, donde al acoplarla con una función continua se cumple:

\[\int_{-\infty}^{\infty} f(z)\delta(z-a) \, dz = f(a)\]

Siu enfatiza que este "monstruo" de la física obligó a Schwartz en 1944 a definir la delta no como una función distributiva de puntos, sino como un funcional lineal continuo sobre un espacio funcional específico, consolidando el análisis moderno.

"Eadem Mutata Resurgo" Anthony Gardiner likens the evolution of the function concept to a "creative tug-of-war" between two mental images: the geometric and the algebraic [16, p. 256]. Israel Kleiner adds a third—the 'logic' (correspondence)—coming in subsequently [24, p. 282]. What are the highlights of this 'tug-of-war' in the evolution of the function concept? (Pág. 16)

Sintetiza el núcleo epistemológico de todo el artículo bajo el lema de Jakob Bernoulli ("Eadem mutata resurgo" - "Mutada en la misma forma, resurjo"), condensando las tres fuerzas que empujan la evolución del concepto.

Siu cierra la sección histórica con una brillante metáfora tridimensional basada en Gardiner y Kleiner. El concepto de función avanza mediante un juego de tracción o "remolcador creativo" entre tres imágenes mentales dominantes:

1. La Imagen Geométrica: Concibe la función como una curva continua, una trayectoria o un gráfico visual dinámico en el espacio.
2. La Imagen Algebraica: Exige que la función sea una ecuación, una combinación operativa, un algoritmo o una expresión analítica explícita.
3. La Imagen Lógica: Purifica el concepto abstrayéndolo a una correspondencia pura, un mapeo de teoría de conjuntos o un par ordenado estático.

Cada vez que una de estas imágenes se volvía dominante y asfixiaba a las demás (como el álgebra analítica en el siglo XVIII o la lógica conjuntista de Bourbaki en el siglo XX), surgía una crisis en el cálculo o una demanda desde la física que obligaba al concepto a mutar y renacer en una escala superior de abstracción, manteniendo intacta su esencia unificadora.

Las conclusiones pedagógicas y el mapa conceptual definitivo de la evolución del término. Siu introduce una dura advertencia de Richard Courant sobre el peligro de presentar el análisis matemático como un sistema axiomático cerrado y rígido, desvinculado de sus motivaciones empíricas y físicas originales.

Posteriormente, el texto presenta el "Diagrama de Flujo Evolutivo" (Figura 1), el cual mapea vectorialmente cómo las tensiones conceptuales forzaron al concepto a transicionar desde las tablas empíricas de valores hacia los morfismos de categorías. Siu concluye que la historia del concepto no se mueve en una línea recta de progreso continuo ni en un círculo cerrado estéril, sino en una espiral logarítmica matemática regida por el lema de Bernoulli: "Eadem mutata resurgo" (Aunque cambie, resurjo siendo la misma). El concepto muta hacia niveles de abstracción cada vez más altos, pero preserva intacto su núcleo unificador.

What implications in teaching can we learn from this 'tug-of-war', in view of the following saying of Richard Courant: "The presentation of analysis as a closed system of truths without reference to their origin and purpose has, it is true, an aesthetic charm and satisfies a deep philosophical need. But the attitude of those who consider analysis solely as an abstractly logical, introverted science is not only highly unsuitable for beginners but endangers the future of the subject; …" [8, vol. I p. vi] (Pág. 17)

Fundamenta la crítica más severa del artículo contra la enseñanza puramente axiomática (estilo Bourbaki) del cálculo diferencial, utilizando la autoridad de uno de los mejores analistas del siglo XX.

Courant identifica una trampa didáctica peligrosa. Presentar el análisis real o el concepto de función como una verdad perfecta, abstracta y completamente acabada (v.g., empezando el curso con la definición de Kuratowski de pares ordenados) posee un gran atractivo estético para el matemático puro. Sin embargo, para el alumno principiante es nocivo. Al censurar el origen físico (la velocidad, el flujo, la conducción del calor) y el propósito práctico (la optimización y el modelado), se despoja al estudiante de la base intuitiva necesaria para comprender el cálculo, poniendo en riesgo la supervivencia misma de la disciplina al aislarla de las ciencias aplicadas.

At the end of his paper [24, p. 300] Kleiner says that the function concept has been modified, generalized and finally "generalized out of existence" (category theory). He then asked: Have we come full circle? I tend to think that history does go in circles, but in a modified sense. (See Figure 1 for a schematic summary.) Perhaps we can better describe the evolution by borrowing the motto alongside a logarithmic spiral engraved on the tombstone of Jakob Bernoulli: EADEM MUTATA RESURGO… (Pág. 17)

Explica la tesis final de Siu y Kleiner sobre la naturaleza no lineal del desarrollo matemático, utilizando la geometría de la espiral de Bernoulli como la analogía perfecta de la evolución conceptual.

Kleiner advierte que en la teoría de categorías la función se abstrajo de tal forma que fue "generalizada fuera de la existencia", al dejar de depender de elementos numéricos concretos. Esto plantea la pregunta de si la matemática regresó a su punto de partida. Siu responde utilizando la geometría analítica de la espiral logarítmica, cuya ecuación polar está definida por:

\[r = a e^{b \theta}\]

1. La espiral logarítmica posee la propiedad geométrica única de la auto-similaridad: a medida que el ángulo \[\theta\] gira y el radio \[r\] crece exponencialmente, la curva se expande pero mantiene exactamente la misma forma geométrica original.
2. Esta es la esencia de "Eadem mutata resurgo". El concepto de función comenzó en el siglo XVII como una relación concreta entre variables físicas. Al girar por las crisis de las series de Fourier, Weierstrass y la teoría de conjuntos, el concepto mutó y se transformó radicalmente. Sin embargo, al llegar a la cima del formalismo, el concepto resurge con su misma función unificadora original, pero operando en un nivel de abstracción y rigor infinitamente superior.

[Análisis del mapa conceptual tridimensional del continuo matemático ilustrado en la Figura 1 de la página 17]

figura uno

Desglosa las conexiones vectoriales del gráfico de Siu, el cual organiza visualmente la evolución histórica para que sirva como mapa de ruta en tus notas.

El diagrama de la Figura 1 es un mapa de tensiones que divide la evolución en tres grandes corrientes verticales de pensamiento que jalan el concepto simultáneamente:

1. La Columna Cinemática / Geométrica (Izquierda):

Comienza en la base con la Table of Values (Babilonia) y progresa hacia la Motion Curve (Oresme, Galileo). A través del quiebre de las Funciones Continuas/Discontinuas de Euler, esta corriente choca directamente con las Fourier Series. En el siglo XX, esta línea evoluciona hacia el concepto de Arrow (Hurewicz) y se integra en la cima dentro del Morphism de la teoría de categorías.

1. La Columna Algebraica / Analítica (Derecha):

Se inicia con las Power Series (Bernoulli, Leibniz) y se formaliza en la Analytical Expression de Euler (1748) y las funciones elementales de Cauchy. Esta corriente entra en crisis absoluta al intentar procesar las funciones Analytically Representable funciones mediante límites infinitos y series trigonométricas, buscando un compromiso entre la fórmula y la arbitrariedad.

1. La Columna Lógica / Conjuntista (Centro):

Emerge como la solución de orden superior a las crisis de las otras dos columnas. Absorbe la noción de Correspondence de Dirichlet-Riemann y, apalancada por la teoría de conjuntos de Cantor, se establece en la definición de Mapping (Dedekind), para luego ser blindada lógicamente mediante los Ordered Pairs de Kuratowski e incorporarse finalmente en el vértice de la abstracción pura: las Categories.